A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
نویسندگان
چکیده
منابع مشابه
A Category Theoretic Model of RDF Ontology
Ontology languages are used in modelling the semantics of concepts within a particular domain and the relationships between those concepts. The Semantic Web standard provides a number of modelling languages that differ in their level of expressivity and are organized in a Semantic Web Stack in such a way that each language level builds on the expressivity of the other. There are several problem...
متن کاملFoundations of Vagueness : a Category-theoretic Approach
The idea that vagueness has its origin in indiscernibility is not new. In this paper, we have tried to establish this thesis on a category-theoretic basis. In the process some other related notions, e.g. property, have been clari ed.
متن کاملA Category-Theoretic Characterization of Functional Completeness
Functional languages are based on the notion of application: programs may be applied to data or programs. By application one may define algebraic functions; and a programming language is functionally complete when any algebraic function f(x1 ,...,xn ) is representable (i.e. there is a constant a such that f(x1,...,xn) = (a x1 .... xn). Combinatory Logic is the simplest type-free language which ...
متن کاملA Category-theoretic Account of Program Modules
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions is independent from evaluation of programexpressions. We propose a new explanation based on “programming languages as indexed categories” and illustrates how ML can be extended to support higher order modules, by develo...
متن کاملCategory theoretic structure of setoids
A setoid is a set together with a constructive representation of an equivalencerelation on it. Here, we give category theoretic support to the notion. Wefirst define a category Setoid and prove it is cartesian closed with coproducts.We then enrich it in the cartesian closed category Equiv of sets and classicalequivalence relations, extend the above results, and prove that Setoid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.293.7